Profiles: A Compositional Mechanism for Performance Specification
نویسندگان
چکیده
A system for engineering component-based software must include mechanisms for specifying abstractly both the functionality of components and their performance. Using the profile construct introduced here for performance specification, a developer can select from an assortment of implementations for a particular functionality the one that best suits his needs with respect to speed and memory usage. Equally importantly, he can define the expected performance of a larger scale component using a composition of the profiles of its constituent (possibly as yet unimplemented) components. To ensure scalability, the profile construct facilitates abstraction in performance specifications as well as formation of profiles for generics from the profiles of their parameters.
منابع مشابه
Mixing logics and rewards for the component-oriented specification of performance measures
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally based on reward structures and, more recently, on temporal logics. In this paper we propose an approach that combines logics and rewards together with a definition mechanism that allows performance measures to be spec...
متن کاملExpressiveness Issues in Compositional Performance Reasoning
Compositional reasoning about any behavioral property of a system depends, first, on the ability to express that property for both individual components and systems constructed from them. Expressiveness problems arise when considering compositional reasoning about performance in the presence of complex user-defined types (as opposed to simpler built-in types). There are interesting implications...
متن کاملCompositional performance modelling with the TIPPtool
Stochastic Process Algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art-techniques, and wrapped in a user-friendly gra...
متن کاملFunctional process capability indices for nonlinear profile
A profile is a relationship between a response variable and one or more independent variables being controlled during the time. Process Capability Indices (PCI) are measured to evaluate the performance of processes in producing conforming products. Despite frequent applications of profile and a variety of available methods to monitor its different types, little researches have been carried out ...
متن کاملPii: S0166-5316(99)00056-5
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art techniques, and wrapped in a user-friendly gra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004